§§ 77 bis 80 HRG

(weggefallen)

(Änderung von Rechtsvorschriften)